TSTP Solution File: DAT194^1 by Nitpick---2016